Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
scotland
3
formalised mathematics
1 ?
 21,213,375 websites (safe search)

  1. Mathematical Reasoning Group

    MRG home page · Research · Publications · Projects · Software · People Mathematical Reasoning Group The Mathematical Reasoning Group is a distributed research gro ...
    Scotland3
    University of Edinburgh1
    Dream Group1
    Theorem Proving1
    Rippling1
    Proof Planning1
    Formalised Mathematics1
    Inductive Theorem Proving1
    Interfaces for theorem provers1
    Mathematical Reasoning Group1
    Proof Assistants1

    dream.dai.ed.ac.uk - 2009-03-08

england4 theorem proving1 glasgow2 webpage development1 london4 edinburgh2 proof planning1 wales3 postgraduate2 university of edinburgh1 knowledge representation1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.